AADL_SOURCES = $(srcdir)/ping-air.aadl
AADL_ROOT    = ping.ima

OTHER_FILES = $(srcdir)/air_polling.c $(srcdir)/ping.c $(srcdir)/ping.h $(srcdir)/software.aadl

CLEANDIRS = ping_ima
CLEANFILES =

include $(srcdir)/../../Makefile.common

AVAILABLE_TARGETS= parse-aadl air_conf c
